<?php
	include 'functions.php';
	//set session save path
	session_save_path($session_path);
	// Initialize a session. 
	session_start();
	$count++;
	$sessionId = session_id();
	
	if(!$userID)
	{
		header("Location: logoff.php"); /* Redirect browser */
		/* Make sure that code below does not get executed when we redirect. */
		exit;
	}
?>